-
sité dédié à la méthode b. la méthode b évoque traditionnellement l'ensemble comprenant : le langage b, le raffinement, la preuve, et les outils associ ...
logiciel prouvé  methode-b  methode formelle  methode formelle b  modèle abstrait  système prouvé 
www.methode-b.com - 2009-02-11
|
sil 4
méthode b
vue du système
langage b
modèle
spécification système
sil 1
sil 2
outil formel
atelier b
méthode formelle
methode b
syst
|
|